Omega-regular language - PDFSEARCH.IO - Document Search Engine

Omega-regular language
Results: 12

#	Item
1	Classifying Regular Languages by a Split Game Qiqi Yan∗ BASICS Laboratory, Department of Computer Science and Engineering, Shanghai Jiao Tong University, 200240, Shanghai, P.R. China Add to Reading List Source URL: www.qiqiyan.com.s3-website-us-east-1.amazonaws.com Language: English - Date: 2012-07-04 18:28:36 Formal languages Mathematical analysis Mathematics Theoretical computer science Symbol Omega language Constructible universe Regular language Star height Linear temporal logic Differential forms on a Riemann surface
2	Learning Regular Omega Languages Dana Angluin1? and Dana Fisman2?? 1 2 Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-09-03 16:14:08 Finite automata Formal languages Theoretical computer science -automaton Omega language Regular language Muller automaton Constructible universe Symbol DFA minimization Mathematics Omega-regular language
3	On the topological complexity of weakly recognizable tree languages Jacques Duparc1 and Filip Murlak2? 1 Universit´e de Lausanne, Switzerland Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2007-06-16 19:01:23 Mathematical logic Mathematics Omega language Tree Wadge hierarchy Determinacy Symbol Regular language Ω-automaton Automata theory Formal languages Theoretical computer science
4	On Deciding Topological Classes of Deterministic Tree Languages Filip Murlak ? Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2008-12-09 11:42:04 Tree automaton Omega language Regular language Deterministic automaton Ω-automaton Büchi automaton Automata theory Theoretical computer science Computer science
5	Languages vs. ω-Languages in Regular Infinite Games Namit Chaturvedi? , Jörg Olschewski?? , and Wolfgang Thomas Lehrstuhl Informatik 7, RWTH Aachen University, Germany {chaturvedi,olschewski,thomas}@automata.rwth-aache Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 11:02:51 Formal languages Computer science Theory of computation Ω-automaton Omega language Büchi automaton Symbol Determinacy Regular language Automata theory Mathematics Theoretical computer science
6	Languages vs. ω-Languages in Regular Infinite Games Namit Chaturvedi, Jörg Olschewski, Wolfgang Thomas DLT 2011, Milano July 19, 2011 Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 10:56:44 Theoretical computer science Omega language Theory of computation Determinacy Infinite loop Constructible universe Ordinal number Formal languages Computer programming Mathematics
7	Regularity Problems for Weak Pushdown ω-Automata and Games Extended VersionChristof L¨oding and Stefan Repke⋆ Lehrstuhl f¨ ur Informatik 7, RWTH Aachen, Germany Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-09-03 08:07:06 Formal languages Computer science Deterministic pushdown automaton Ω-automaton Pushdown automaton Omega language Nondeterministic finite automaton Context-free language Regular language Automata theory Theoretical computer science Models of computation
8	Expressive power of Cost Logics over Infinite Words Denis Kuperberg and Michael Vanden Boom S´eminaire Automates Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:50 Computer science Applied mathematics Mathematics Regular language Nondeterministic finite automaton Finite-state machine Ω-automaton Omega-regular language Automata theory Formal languages Models of computation
9	October 3, [removed]:38 WSPC/INSTRUCTION FILE Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-10-03 15:38:17 Formal languages Computer science Theory of computation Ω-automaton Omega language Büchi automaton Determinacy Symbol Regular language Automata theory Theoretical computer science Mathematics
10	A Topological Perspective on Diagnosis Andreas Bauer, ANU, Australia Abstract— We propose a topological perspective on the diagnosis problem for discrete-event systems. In an infinitary framework, we argue that the con Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2008-05-27 22:19:01 Applied mathematics Büchi automaton Muller automaton Omega language Deterministic finite automaton Regular language Nondeterministic finite automaton Formal language Ω-automaton Automata theory Theoretical computer science Computer science

UPDATE